- финитная общезначимость
- Mathematics: finitary validity
Универсальный русско-английский словарь. Академик.ру. 2011.
финитная общезначимость
Смотреть что такое "финитная общезначимость" в других словарях:
ФИНИТНАЯ ОБЩЕЗНАЧИМОСТЬ — одна из не классич. интерпретаций логич. формул, предложенная с целью уточнения выдвинутой А. Н. Колмогоровым программы истолкования интуиционистской логики . высказываний как исчисления задач. А. Н. Колмогоров высказал [1] идею, что наряду с… … Математическая энциклопедия
ФИНИТНАЯ ЗАДАЧА — см. Финитная общезначимость … Математическая энциклопедия
